Knihy od autora Mauricio Ayala-Rincón

Zobrazené 1 – 2 z 2 výsledkov

1. 

   Interactive Theorem Proving

   Mauricio Ayala-Rincón, César A. Mu?oz | Springer International Publishing AG, 2017

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.68 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
2. 

   Applied Logic for Computer Scientists

   Mauricio Ayala-Rincón, Flávio L. C. de Moura | Springer International Publishing AG, 2017

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   45.51 €

   Zľava 9 %

   Ušetríte 4.87 €

   Kúpiť

Doručenie zadarmo pre objednávky nad 59.99 € Zistite viac